sequent calculus
[网络] 相继式演算
热门查询
- monogamous adj. 一夫一妻的；[动] 单配的
- unbelievably adv. 难以置信地；不可信地
- scoring n. 得分；刻痕；总谱 adj. 得分的 v. 得分（score的ing形式）；刻痕；记下
- screech n. 尖叫声，尖利刺耳的声音；尖声喊叫 vt. 尖着声音讲或喊 vi. 发出尖锐的声音；发出恐惧或痛苦的叫喊声
- psychopathology n. 精神病理学
- ballooning n. 充气，鼓胀；气球操纵
- footway n. 小路，人行道
- province n. 省；领域；职权
- comparative n. 比较级；对手 adj. 比较的；相当的
- Auden 奥登(姓氏)
- identification n. 鉴定，识别；认同；身份证明
- northeast adj. 东北的；向东北的；来自东北的 n. 东北 adv. 向东北；来自东北
- disheartening 使人沮丧的
- coaxing v. 哄骗（coax的现在分词）
- untangled vt. 清理；整顿；解开…纠结
- Heinrich [人名] 海因里希
- nonreactive adj. [化学] 不反应的；无电抗的
- proton n. [物] 质子 n. (Proton)人名；(法)普罗东
- matchless adj. 无比的；无敌的
- Aldrich [人名] 奥尔德里奇
考试词汇表
- transclypeal sulcus
- transclypeal suture
- transconjunctivally
- transcription break
- transcription error
- transcription pause
- transcriptional lag
- transcriptional map
- transculturisations
- transculturizations
- transcurium element
- transcurium nuclide
- transcurrent thrust
- transdenominational
- transderivationally
- transdermal patches
- transdeterminations
- transdiagnostically
- transdifferentiated
- transdifferentiates
